Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Auvergne-Rhône-Alpes542
Frédéric Dadeau41
Auvergne-Rhône-Alpes Sauf Frédéric Dadeau" 533
Frédéric Dadeau Sauf Auvergne-Rhône-Alpes" 32
Auvergne-Rhône-Alpes Et Frédéric Dadeau 9
Auvergne-Rhône-Alpes Ou Frédéric Dadeau 574
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000780 Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France] ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Model‐based mutation testing from security protocols in HLPSL
001276 Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Yves Ledru [France] ; Taha Triki [France] ; German Vega [France] ; Julien Botella ; Safouan Taha [France]Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool
001B99 Taha Triki [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Frédéric Dadeau [France] ; Julien BotellaModel-Based Filtering of Combinatorial Test Suites
001F00 Taha Triki [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Frédéric Dadeau [France] ; Julien Botella [France]Nouveaux mécanismes de filtrage de tests basés sur le modèle
001F13 Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Taha Triki [France] ; Safouan Taha [France] ; Bruno Legeard [France] ; Julien Botella [France] ; Boutheina Chetali [France] ; Bernet Julien ; David RouillardTASCCC - Project and Testing Tool (poster and demo)
002411 Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France]Mutation-Based Test Generation from Security Protocols in HLPSL
003644 Frédéric Dadeau [France] ; Amal Haddad [France] ; Thierry Moutet [France]Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès
003E69 Frédéric Dadeau [France] ; Julien Lamboley [France] ; Thierry Moutet [France] ; Marie-Laure Potet [France]A Verifiable Conformance Relationship between Smart Card Applets and B security Models
003E71 Frédéric Dadeau [France] ; Régis Tissot [France] ; Marie-Laure Potet [France]A B Formal Framework for Security Developments in the Domain of Smart Card Applications
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022